Turing completeness - PDFSEARCH.IO - Document Search Engine

Turing completeness
Results: 29

#	Item
11	Channel Systems with Priorities Priority Embedding Computational Power Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-03-20 12:27:57 Turing completeness C1 Amines Turing machine Theory of computation Programming language theory
12	PROGRAMMING IN BIOMOLECULAR COMPUTATION Lars Hartmann Neil D. Jones Jakob Grue Simonsen + Visualization by Søren Bjerregaard Vrist Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:43 Models of computation Computability theory Turing machine Turing completeness Algorithm Computability Programming language Cellular automaton Alan Turing Theoretical computer science Computer science Theory of computation
13	Post-publication version of “Aaron Sloman develops a distinctive view of – Virtual Machinery and Evolution of Mind (Part 1)” pages[removed]In Alan Turing - His Work and Impact, eds S. B. Cooper & J. van Leeuwen, Els Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-09-07 19:32:51 Turing machine Models of computation Computability theory Alan Turing Virtual machine Turing completeness VM Computability Programming language Theoretical computer science Computer science Theory of computation
14	Symposium on Theoretical Aspects of Computer Science[removed]Nancy, France), pp[removed]www.stacs-conf.org COLLAPSING AND SEPARATING COMPLETENESS NOTIONS UNDER AVERAGE-CASE AND WORST-CASE HYPOTHESES XIAOYANG GU 1 AND JOHN Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-03-04 08:18:12 Complexity classes NP-complete NP Reduction P/poly Advice Many-one reduction Turing reduction Polynomial-time reduction Theoretical computer science Computational complexity theory Applied mathematics
15	Logic in Computer Science Logic and computer science are closely related. Basic research in logic is crucial for computer and software engineering. All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Lo Add to Reading List Source URL: vsl2014.at Language: English - Date: 2014-07-02 09:00:38 Computability theory Turing machine Alan Turing Theoretical computer science Models of computation Logic Computer Mathematical logic Turing completeness Science Mathematics Computer science
16	Separation of NP-completeness Notions A. Pavan Alan L Selman ∗ Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2001-03-30 11:54:28 Complexity classes Models of computation Computability theory Mathematical optimization NP Time complexity Oracle machine P Turing machine Theoretical computer science Computational complexity theory Applied mathematics
17	the language machine – from lambda to language and grammar The language machine is an efficient and usable toolkit for language and grammar that is published as free software under the Gnu GPL. At its core is an engine Add to Reading List Source URL: languagemachine.sourceforge.net Language: English - Date: 2005-11-27 09:14:02 Linguistics Formal grammar Generative grammar Lambda calculus Generative Terminal and nonterminal symbols Turing completeness Symbol Unrestricted grammar Formal languages Logic Science
18	An Approximation of the Universal Intelligence Measure Shane Legg and Joel Veness November 2011 Add to Reading List Source URL: www.vetta.org Language: English - Date: 2011-11-16 08:45:57 Applied mathematics Turing machine Theory of computation Alan Turing Kolmogorov complexity Ray Solomonoff Algorithm Turing completeness Computability Theoretical computer science Computer science Computability theory
19	THREE PARADIGMS OF COMPUTER SCIENCE Amnon H Eden Department of Computer Science, University of Essex, United Kingdom and Center For Inquiry, Amherst, NY, USA Add to Reading List Source URL: eden-study.org Language: English - Date: 2008-04-09 06:17:53 Theoretical computer science Programming paradigm Turing completeness Programming language Algorithm Computer Correctness Computation Logic programming Computing Computer science Software engineering
20	REVIEWS Edited by Gerald B. Folland Mathematics Department, University of Washington, Seattle, WA[removed]A New Kind of Science. By Stephen Wolfram. Wolfram Media, Champaign, IL, 2002, xiv + 1197 pp., ISBN[removed] Add to Reading List Source URL: sjsu.rudyrucker.com Language: English - Date: 2003-12-01 12:31:20 Turing machine Theory of computation Computability theory Wolfram Research Cellular automaton A New Kind of Science Turing completeness Rule 30 Stephen Wolfram Computer science Theoretical computer science Mathematics